closure operator – Deutsch–English translations

🇬🇧 en de 🇩🇪

closure operator noun

  • function mapping a subset to its closure
 Hüllenoperator
Wiktionary Links